Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
نویسندگان
چکیده
منابع مشابه
Fifth Workshop on Quantitative Aspects of Programming Languages
Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary different...
متن کاملProceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages
This paper describes a general framework for designing purely functional datatypes that automatically satisfy given size or structural constraints. Using the framework we develop implementations of different matrix types (eg square matrices) and implementations of several tree types (eg Braun trees, 2-3 trees). Consider, for instance, representing square /102/ matrices. The usual representation...
متن کاملProceedings of MASPLAS'04 Mid-Atlantic Student Workshop on Programming Languages and Systems
We present an analyzer tool that accepts as input a string of programming language statements and outputs possible meanings for those program statements. The Graphical User Interface allows us to see which meanings were proposed for different program statements. The analyzer is packaged as a software tool, which we refer to as the Semantic Extraction tool (SET). SET, through a GUI utilizes a mu...
متن کاملFifth Workshop on Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report presents the motivation for holding the workshop and summarizes the workshop contributions.
متن کاملWorkshop on Database Programming Languages
These are the revised proceedings of the Workshop on Database Programming Languages held at Roscoff, Finistère, France in September of 1987. The last few years have seen an enormous activity in the development of new programming languages and new programming environments for databases. The purpose of the workshop was to bring together researchers from both databases and programming languages to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.85.0